Combinatorics, Automata and Number Theory

نویسندگان

  • Valérie Berthé
  • Michel Rigo
چکیده

numeration systems The motivation for the introduction of abstract numeration systems stemsfrom the celebrated theorem of Cobham dating back to 1969 about the so-called recognisable sets of integers in any integer base numeration system.An abstract numeration system is simply an infinite genealogically ordered(regular) language. In particular, this notion extends the usual integer basenumeration systems as well as more elaborated numeration systems such asthose based on a Pisot number. In this general setting, we study in detailsrecognisable sets of integers, i.e., the corresponding representations are ac-cepted by a finite automaton. The main theme is the link existing betweenthe arithmetic properties of integers and the syntactical properties of thecorresponding representations in a given numeration system. Relationshipwith automatic sequences and substitutive words is also investigated, pro-viding an analogue to another famous result of Cobham from 1972 aboutk-automatic sequences. Finally, the chapter ends with the representationof real numbers in an abstract numeration system. Chapter 4 by J. Cassaigne and F. Nicolas

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Groups and Automata: a Perfect Match

We present a personal perspective, inspired by our own research experience, of the interaction between group theory and automata theory: from Benois’ Theorem to Stallings’ automata, from hyperbolic to automatic groups, not forgetting the exotic automaton groups.

متن کامل

Some Combinatorial Operators in Language Theory

Multitildes are regular operators that were introduced by Caron et al. in order to increase the number of Glushkov automata. In this paper, we study the family of the multitilde operators from an algebraic point of view using the notion of operad. This leads to a combinatorial description of already known results as well as new results on compositions, actions and enumerations.

متن کامل

Higher Dimensional Automata

We provide the basics of a 2-dimensional theory of automata on series-parallel biposets. We define recognizable, regular and rational sets of series-parallel biposets and study their relationship. Moreover, we relate these classes to languages of series-parallel biposets definable in monadic second-order logic.

متن کامل

On the Number of Distinct Languages Accepted by Finite Automata with n States

We give asymptotic estimates and some explicit computations for both the number of distinct languages and the number of distinct finite languages over a k-letter alphabet that are accepted by deterministic finite automata (resp. nondeterministic finite automata) with n states.

متن کامل

Weighted Finite Automata and Metrics in Cantor Space

We show how weighted finite automata define topologies on the set of all ω-words over a finite alphabet X . Moreover, we give a characterization of these topologies in terms of topologies on Xω induces by languages U ⊆ X∗.

متن کامل

Formal Tree Series

In this survey we generalize some results on formal tree languages, tree grammars and tree automata by an algebraic treatment using semirings, fixed point theory, formal tree series and matrices. The use of these mathematical constructs makes definitions, constructions, and proofs more satisfactory from an mathematical point of view than the customary ones. The contents of this survey paper is ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2009